Measure, integration and elements of harmonic analysis on generalized loop spaces

In this work we extend the first part of the previous paper [F4] to higher dimensional local fields. We introduce a nontrivial translation invariant measure on the additive group of higher dimensional local fields, and then develop elements of integration and harmonic analysis. We also discuss its relation with several other measure theories. For an n-dimensional local field F a translation invariant measure μ is defined on a certain ring A of measurable sets and takes values in R ((X1)) . . . ((Xn−1)) (which itself is an n-dimensional local field whose last residue field is the archimedean field R). The algebra A in the case of higher dimensional fields with finite last residue field is the algebra generated by characteristic functions of shifts of fractional ideals, i.e. a + bO with a, b ∈ F and O the ring of integers of F with respect to the n-dimensional structure. The measure is countably additive in a refined sense (see sections 7 and 8). Elements of integration theory are introduced in sections 9–13. The additive group of a higher dimensional field has a certain topology on it with respect to which it is not locally compact for n > 1. This topology plays a key role in higher class field theory [F1–F3]. The additive group of F is self dual, which together with the measure and integration leads to analogs of many classical results in Fourier analysis (section 14). In particular, for functions in certain space we introduce their transform